Presheaf automata
arxiv.org·14h
⚙Automata Theory
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·59m
🔲Proof Irrelevance
Modelling Exactly-Once Delivery Using TLA+
medium.com·15h·
Discuss: Hacker News
⚙️TLA+
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·20h
🔗Functional Compilers
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.to·6h·
Discuss: DEV
💻Programming languages
Functional Programming HOWTO
docs.python.org·21h·
Discuss: Lobsters
🔗Lisp
The theorem on formal functions
math.columbia.edu·2d
⚔️Lean Theorem
Friday 10 October 2025 - 11am
informatics.ed.ac.uk·4h
🧠Machine Learning
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
blog.raymond.burkholder.net·14h
⚡Incremental Computation
Characterizing NC1 with Typed Monoids
arxiv.org·14h
⚙️Syntactic Monoids
A Lisp in 99LOC
github.com·2d·
Discuss: Hacker News
🔗Lisp
Unification
eli.thegreenplace.net·11h·
Discuss: Hacker News
🤝Unification Algorithms
Beyond AlphaFold: how AI is decoding the grammar of the genome
nature.com·8h
🧬Palindrome Codes
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·5h·
Discuss: r/programming, r/webdev
💧Liquid Types
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·14h
🔮Proof Search
Elephants Don't Write Sonnets
whattotelltherobot.com·1h·
Discuss: Hacker News
🔲Cellular Automata
A brief consideration of input shapes (fuzzing)
addisoncrump.info·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
AI's hidden state in the execution stack
ayende.com·6h
🎯Gradual Typing
Binary Tree BFS: Zigzag Order
mmhaskell.com·10h
🔗Topological Sorting
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling